dumpdef(`x')